641. Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings
Author: Susanne Graf, Michael Schartzbach )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1785
642. Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
Author: Nicolas Halbwachs, Lenore D. Zuck )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
3440
643. Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings
Author: Joost-Pieter Katoen, Perdita Stevens )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2280
644. Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Author: Tiziana Margaria, Wang Yi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2031
645. Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Author: Kurt Jensen, Andreas Podelski )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2988
646. Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings
Author: Hubert Garavel, John Hatcliff )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2619
647. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
Author: Ed Brinksma )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1217
648. Towards extensible and adaptable methods in computing /
Author: Shampa Chakraverty, Anil Goel, Sanjay Misra, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Agile software development.,Computer software-- Development.,Machine learning.,Agile software development.,Computer software-- Development.,COMPUTERS-- Software Development & Engineering-- General.,Machine learning.
Classification :
QA76
.
76
.
D47
649. TraceME :
Author: by Marcela Ruiz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software.,Computer software-- Development.,Software engineering.,Application software.,Computer science.,Computer software-- Development.,Software engineering.
Classification :
QA76
.
758
.
R85
2018
650. Transactions on aspect-oriented software development VIII
Author: Shmuel Katz ... [et al.], (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Aspect-oriented programming.,Informatique.
Classification :
QA76
.
64
S568
2011
651. Trends and advances in information systems and technologies.
Author: Álvaro Rocha, Hojjat Adeli, Luís Paulo Reis, Sandra Costanzo, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Artificial intelligence.,Computer networks.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
Classification :
T58
.
5
652. Trends in Information Processing Systems.
Author: A J W Duijvestijn
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
Classification :
QA75
.
5
A393
1981
653. Trends in functional programming :
Author: edited by Meng Wang, Scott Owens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
62
654. Understanding Agent Systems
Author: by Mark d'Inverno, Michael Luck.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
655. Unifying the Software Process Spectrum
Author: edited by Mingshu Li, Barry Boehm, Leon J. Osterweil.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information Systems.,Software engineering.,Software engineering.,Computer Appl. in Administrative Data Processing.,Computers and Society.,Management of Computing and Information Systems.,Programming Techniques.,Software Engineering/Programming and Operating Systems.
656. Usability evaluation of graphical modeling languages :
Author: Christian Schalles ; foreword by Michael Rebstock and John Creagh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Object-oriented methods (Computer science) -- Evaluation.,UML (Computer science) -- Evaluation.,User-centered system design.
657. User-centric factors affecting the adoption of mobile government :
Author: Qatoob Al Amri, Salim
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mobile government ; Mobile services adoption ; ICT adoption - Technology adoption model ; User's interactions ; M-user centric factors
658. Using Toolpack Software Tools :
Author: edited by A.A. Pollicini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
95
E358
1989
659. VDM'91 Formal Software Development Methods :
Author: edited by S. Prehn, W.J. Toetenel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
660. Verification and Validation of Real-Time Software
Author: edited by William J. Quirk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
QA76
.
54
E358
1985
